搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Tunable diode laser development and spectroscopy applications : August 25-26, 1983, San Diego, California 0 索取号：TN24-53/E9015 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.		Fiber optics in local area networks : August 25, 1983, San Diego, California 0 索取号：TN24-53/E9014 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.
	Single mode optical fibers : August 23-24, 1983, San Diego, California 0 索取号：TN24-53/E9013 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.		Proceedings of the thirteenth Midwest Symposium on Circuit Theory : May 7-8, 1970 0 索取号：TM131-53/E804/13 作者：Midwest Symposium on Circuit Theory (13th : 1970 : Minneapolis、 Minn.)、IEEE Circuit Theory Group、University of Minnesota. Dept. of Conferences and Institutes、出版社：New York : Institute of Electrical and Electronics Engineers, c1970
	Proceedings of the fourteenth Midwest Symposium on Circuit Theory : May 6-7, 1971 0 索取号：TM131-53/E804/14 作者：Midwest Symposium on Circuit Theory (14th : 1971 : Denver、 Col.)、IEEE Circuit Theory Group、University of Denver. Dept. of Electrical Engineering、出版社：New York : Institute of Electrical and Electronics Engineers, c1971.		Microcircuit Engineering 83 : proceedings of the Microcircuit Engineering 83 Conference, held in Cambridge, England, on 25-29 September 1983 0 索取号：TN43-53/E901/1983 作者：Microcircuit Engineering (1983 : Cambridge、 England)、Ahmed、 H.、Cleaver、 J. R. A.、Jones、 G. A. C.、出版社：London ; New York : Academic Press, 1983.
	Proceedings of the third International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT 2008) : April 6-9, 2008, Southeast University, Nanjing, China 0 索取号：TM7-532/E20091 作者：International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (3rd : 2008 : Southeast University、 Nanjing、 China)、Dong nan da xue、IEEE Power Engineering Society.、Institution of Engineering and Technology.、Chinese Society for Electrical Engineering.、出版社：Nanjing, China : Southeast University Press, 2008.		Solid state devices, 1979 : nine invited papers presented at the Ninth European Solid State Device Research Conference (ESSDERC) and the Fourth Symposium on Solid State Device Technology held at the Technical University of Munich, 10-14 September 1979 0 索取号：O4-53/E8019/1979 作者：European Solid State Device Research Conference (9th : 1979 : Technical University of Munich)、Weiss、 H.、Institute of Physics (Great Britain)、Symposium on Solid State Device Technology (4th : 1979 : Technical University of Munich)、出版社：Bristol [England] : Institute of Physics, c1980.
	Conference record : Ninth annual Asilomar Conference on Circuits, Systems and Computers 0 索取号：TP302-53/E801/9 作者：Asilomar Conference on Circuits、 Systems and Computers (9th : 1975)、Chan、 Shu-Park.、Naval Postgraduate School (U.S.)、University of Santa Clara.、出版社：[North Hollywood, Calif. : Western Periodicals Company, 1976]		Thermoelectricity in metallic conductors : [proceedings of the First International Conference on Thermoelectric Properties of Metallic Conductors, held at Michigan State University, East Lansing, Michigan, August 10-12, 1977] 0 索取号：TN377-53/E801 作者：Blatt、 Frank J.、Schroeder、 Peter A.、National Science Foundation (U.S.)、International Conference on Thermoelectric Properties of Metallic Conductors (1st : 1977 : Michigan State University)、出版社：New York : Plenum Press, c1978.
	Proceedings, MEDCOMP '82 : first IEEE Computer Society International Conference on Medical Computer Science/Computational Medicine, the Hilton Hotel of Philadelphia, University City, Philadelphia, Pennsylvania September 23-25, 1982 0 索取号：R319-53/E908/1982 作者：IEEE Computer Society International Conference on Medical Computer Science/Computational Medicine (1st : 1982 : Philadelphia、 Pa.)、IEEE Computer Society. Technical Committee on Computational Medicine.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1982.		Nutrition and drug interrelations 0 索取号：R151/E809 作者：International Symposium on Nutrition and Drug Interrelations (1976 : Iowa State University)、Hathcock、 John N.、Coon、 Julius.、出版社：New York : Academic Press, 1978.
	Intravital observation of organ microcirculation : proceedings of the Tokyo symposium, June 18, 1983 0 索取号：R446.8-53/E901/1983 作者：出版社：Amsterdam : Excerpta Medica, 1983.		Research to improve teaching-learning practices : report of a regional meeting, Inchon, Republic of Korea 10-18 October 1983 0 索取号：G53/E9049/1983 作者：Asian Programme of Educational Innovation for Development.、Asian Centre of Educational Innovation for Development.、Unesco. Regional Office for Education in Asia and the Pacific.、Yunesŭkʻo Hanʼguk Wiwŏnhoe.e.、Regional Workshop on the Application of Research Findings for Improvement of Teaching/Learning Practices (1983 : Inchʻŏn、 Korea))、出版社：Bangkok : Unesco Regional Office for Education in Asia and the Pacific, 1984.
	My visit to the liberated zones of South Vietnam 0 索取号：K933.3/E701 作者：Burchett、 Wilfred G.、 1911-1983.、出版社：Hanoi : Foreign Languages Pub. House, 1964.		Bibliography on the political and administrative history of Vietnam, 1802-1962 0 索取号：Z88/E701 作者：Jumper、 Roy.、Michigan State University. Vietnam Advisory Group、 Saigon.、出版社：[Saigon] : Michigan State University, Vietnam Advisory Group, [1964].

	Tunable diode laser development and spectroscopy applications : August 25-26, 1983, San Diego, California 0 索取号：TN24-53/E9015 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.		Fiber optics in local area networks : August 25, 1983, San Diego, California 0 索取号：TN24-53/E9014 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.
	Single mode optical fibers : August 23-24, 1983, San Diego, California 0 索取号：TN24-53/E9013 作者：出版社：Bellingham, Wash., USA : SPIE--the International Society for Optical Engineering, c1983.		Proceedings of the thirteenth Midwest Symposium on Circuit Theory : May 7-8, 1970 0 索取号：TM131-53/E804/13 作者：Midwest Symposium on Circuit Theory (13th : 1970 : Minneapolis、 Minn.)、IEEE Circuit Theory Group、University of Minnesota. Dept. of Conferences and Institutes、出版社：New York : Institute of Electrical and Electronics Engineers, c1970
	Proceedings of the fourteenth Midwest Symposium on Circuit Theory : May 6-7, 1971 0 索取号：TM131-53/E804/14 作者：Midwest Symposium on Circuit Theory (14th : 1971 : Denver、 Col.)、IEEE Circuit Theory Group、University of Denver. Dept. of Electrical Engineering、出版社：New York : Institute of Electrical and Electronics Engineers, c1971.		Microcircuit Engineering 83 : proceedings of the Microcircuit Engineering 83 Conference, held in Cambridge, England, on 25-29 September 1983 0 索取号：TN43-53/E901/1983 作者：Microcircuit Engineering (1983 : Cambridge、 England)、Ahmed、 H.、Cleaver、 J. R. A.、Jones、 G. A. C.、出版社：London ; New York : Academic Press, 1983.
	Proceedings of the third International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (DRPT 2008) : April 6-9, 2008, Southeast University, Nanjing, China 0 索取号：TM7-532/E20091 作者：International Conference on Electric Utility Deregulation and Restructuring and Power Technologies (3rd : 2008 : Southeast University、 Nanjing、 China)、Dong nan da xue、IEEE Power Engineering Society.、Institution of Engineering and Technology.、Chinese Society for Electrical Engineering.、出版社：Nanjing, China : Southeast University Press, 2008.		Solid state devices, 1979 : nine invited papers presented at the Ninth European Solid State Device Research Conference (ESSDERC) and the Fourth Symposium on Solid State Device Technology held at the Technical University of Munich, 10-14 September 1979 0 索取号：O4-53/E8019/1979 作者：European Solid State Device Research Conference (9th : 1979 : Technical University of Munich)、Weiss、 H.、Institute of Physics (Great Britain)、Symposium on Solid State Device Technology (4th : 1979 : Technical University of Munich)、出版社：Bristol [England] : Institute of Physics, c1980.
	Conference record : Ninth annual Asilomar Conference on Circuits, Systems and Computers 0 索取号：TP302-53/E801/9 作者：Asilomar Conference on Circuits、 Systems and Computers (9th : 1975)、Chan、 Shu-Park.、Naval Postgraduate School (U.S.)、University of Santa Clara.、出版社：[North Hollywood, Calif. : Western Periodicals Company, 1976]		Thermoelectricity in metallic conductors : [proceedings of the First International Conference on Thermoelectric Properties of Metallic Conductors, held at Michigan State University, East Lansing, Michigan, August 10-12, 1977] 0 索取号：TN377-53/E801 作者：Blatt、 Frank J.、Schroeder、 Peter A.、National Science Foundation (U.S.)、International Conference on Thermoelectric Properties of Metallic Conductors (1st : 1977 : Michigan State University)、出版社：New York : Plenum Press, c1978.
	Proceedings, MEDCOMP '82 : first IEEE Computer Society International Conference on Medical Computer Science/Computational Medicine, the Hilton Hotel of Philadelphia, University City, Philadelphia, Pennsylvania September 23-25, 1982 0 索取号：R319-53/E908/1982 作者：IEEE Computer Society International Conference on Medical Computer Science/Computational Medicine (1st : 1982 : Philadelphia、 Pa.)、IEEE Computer Society. Technical Committee on Computational Medicine.、出版社：Silver Spring, MD : IEEE Computer Society Press, c1982.		Nutrition and drug interrelations 0 索取号：R151/E809 作者：International Symposium on Nutrition and Drug Interrelations (1976 : Iowa State University)、Hathcock、 John N.、Coon、 Julius.、出版社：New York : Academic Press, 1978.
	Intravital observation of organ microcirculation : proceedings of the Tokyo symposium, June 18, 1983 0 索取号：R446.8-53/E901/1983 作者：出版社：Amsterdam : Excerpta Medica, 1983.		Research to improve teaching-learning practices : report of a regional meeting, Inchon, Republic of Korea 10-18 October 1983 0 索取号：G53/E9049/1983 作者：Asian Programme of Educational Innovation for Development.、Asian Centre of Educational Innovation for Development.、Unesco. Regional Office for Education in Asia and the Pacific.、Yunesŭkʻo Hanʼguk Wiwŏnhoe.e.、Regional Workshop on the Application of Research Findings for Improvement of Teaching/Learning Practices (1983 : Inchʻŏn、 Korea))、出版社：Bangkok : Unesco Regional Office for Education in Asia and the Pacific, 1984.
	My visit to the liberated zones of South Vietnam 0 索取号：K933.3/E701 作者：Burchett、 Wilfred G.、 1911-1983.、出版社：Hanoi : Foreign Languages Pub. House, 1964.		Bibliography on the political and administrative history of Vietnam, 1802-1962 0 索取号：Z88/E701 作者：Jumper、 Roy.、Michigan State University. Vietnam Advisory Group、 Saigon.、出版社：[Saigon] : Michigan State University, Vietnam Advisory Group, [1964].